Command history interface to OS_ReadLine